Zermelo–Fraenkel set theory - PDFSEARCH.IO - Document Search Engine

Zermelo–Fraenkel set theory
Results: 96

#	Item
11	PARRHESIA NUMBER 5 • 2008 • 32-47 Alain Badiou: Problematics and the Different Senses of Being in Being and Event1 Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2008-11-10 03:41:39 Anti-imperialism Maoism Knowledge representation Empty set Ontology Philosophy of mathematics Infinity Set theory Zermelo–Fraenkel set theory Philosophy Marxist theorists Alain Badiou
12	Introduction Sometimes it happens in mathematics that, investigating some branch, some area of mathematical objects, we are forced to introduce new kind of objects which were not originally presumed to exist. There is a Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:49:59 Logic Model theory Infinity Real closed field Ultraproduct Zermelo–Fraenkel set theory Internal set theory Set theory Foundations of mathematics Mathematics Non-standard analysis Mathematical logic
13	CONTENTS 1. Nonstandard analysis on the real line 1. Introduction to nonstandard real line 2. Development of nonstandard analysis 1 Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Abstract algebra Ultraproduct Internal set Set theory Real number Parametrization Zermelo–Fraenkel set theory Criticism of non-standard analysis Non-standard analysis Mathematics Mathematical logic
14	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
15	Preface It is a pleasure for me to have the opportunity to write a preface for this book on the foundations of nonstandard analysis by Vladimir Kanovei. It may seem that everything relevant has been said concerning this Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:07 Philosophy of mathematics Infinity Z notation Zermelo–Fraenkel set theory Internal set theory Set theory Forcing Implementation of mathematics in set theory Mathematical logic Mathematics Non-standard analysis
16	Characterising Normal Forms for Informational Independence L.C. van der Gaag & J.-J.Ch. Meyer Utrecht University, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherlands e-mail: flinda, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:09 Mathematical analysis Independence Conditional independence Function Constructible universe Joint probability distribution Zermelo–Fraenkel set theory Morse–Kelley set theory Probability theory Statistical dependence Mathematics
17	Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2005-12-01 07:11:01 Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic
18	HOL Formalised: Semantics R.D. Arthan Lemma 1 Ltd. [removed] 25th October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-03-20 12:33:24 Sheaf Function Universe Zermelo–Fraenkel set theory Lambda calculus Constructible universe Mathematics Mathematical logic Algebraic topology
19	ELEMENTARY EPIMORPHISMS BETWEEN MODELS OF SET THEORY ROBERT LUBARSKY AND NORMAN LEWIS PERLMUTTER Abstract. We show that every Π1 -elementary epimorphism between models of ZF is an isomorphism. On the other hand, nonisom Add to Reading List Source URL: math.fau.edu Language: English - Date: 2014-05-05 13:51:37 Set theory Epimorphism Homomorphism Forcing Ordinal number Constructible universe Sheaf Zermelo–Fraenkel set theory Surjective function Mathematical logic Mathematics Morphisms
20	arXiv:0905.1680v1 [math.HO] 11 May[removed]IS SET THEORY INDISPENSABLE? NIK WEAVER Abstract. Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theo Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-05-11 20:18:44 Z notation Cardinal numbers Philosophy of mathematics Forcing Zermelo–Fraenkel set theory Von Neumann universe Finite set Continuum hypothesis Foundations of mathematics Mathematical logic Mathematics Set theory